1. Formal methods :
Author: Flemming Nielson, Hanne Riis Nielson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Information theory.,Software engineering.,Formal methods (Computer science),Information theory.,Software engineering.
Classification :
QA76
.
9
.
F67
N45
2019
2. Semantics with applications
Author: / Hanne Riis Nielson and Flemming Nielson
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)--Semantics
Classification :
QA
,
76
.
7
,.
N543
,
2007
3. Two-level functional languages /
Author: Flemming Nielson, Hanne Riis Nielson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming languages.,génération code.,interprétation abstraite.,lambda calcul.,logique combinatoire.,théorie type.,Functional programming languages.,Functionele talen.,Funktionale Programmiersprache,Funktionale Programmiersprache.,Implementation,Implementierung,Implementierung.,Lambda-calcul.,Langages de programmation fonctionnelle.,Programmation fonctionnelle (informatique)
Classification :
QA76
.
62
.
N54
1992
